Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state

Source URL: www.kestrel.edu

• Category theory
• Abstract algebra
• Algebra
• Mathematics
• Morphism
• Category
• Group action
• Natural transformation
• Limit
• Subcategory
• Functor
• Universal property

Comprehension by Derivation Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

Source URL: www.kestrel.edu

• Computing
• Software engineering
• Formal methods
• Refinement
• Specification language
• Specification
• Exception handling
• Programming language
• Software design
• Domain-specific language

Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Abstract algebra
• Boolean algebra
• Algebraic structures
• Logic in computer science
• Constraint programming
• Boolean satisfiability problem
• Electronic design automation
• DPLL algorithm
• Conjunctive normal form
• Boolean

Toward Practical Applications of Software Synthesis Douglas R. Smith Cordell C. Green Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304

Source URL: www.kestrel.edu

• Scheduling
• Operations research
• Business
• Economy
• Production planning
• Combinatorial optimization
• Planning
• Mathematics
• Schedule
• Branch and bound
• Mathematical optimization
• Linear programming

to appear in Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE’04), Springer-Verlag LNCS, 2004. A Generative Approach to Aspect-Oriented Programming Douglas R.

Source URL: www.kestrel.edu

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• AspectJ
• Invariant
• Cross-cutting concern
• Pointcut

Theory and Te hniques for Synthesizing E ient Breadth-First Sear h AlgorithmsSrinivas Nedunuri , Douglas R. Smith , William R. Cook

Source URL: www.kestrel.edu

Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology

Source URL: www.kestrel.edu

• Scheduling
• Information technology management
• Business
• Economy
• Production planning
• Computing
• Schedule
• Job scheduler
• Local consistency
• Business process management
• Constraint programming
• Windows Task Scheduler

Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2 , and Douglas R. Smith1 1 2

Source URL: www.kestrel.edu

• Knowledge representation
• Memory management
• Tree
• Mutator
• Garbage collection
• Computing
• Automatic memory management
• Information science
• Software engineering

Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA

Source URL: gdac.uqam.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Directed graph
• Graph
• Centrality
• Topological graph theory
• Degree
• Sequence
• Sequential pattern mining
• Directed acyclic graph
• Pathwidth

PDF Document

Source URL: www.co.douglas.or.us